Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
711	Declarative PTIME Queries to Relational Databases Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
712	Journal of Automated Reasoning, 18, 297{[removed]) c 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Computing Circumscription Revisited: A Reduction Algorithm Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:57:57 Predicate logic Model theory Formal languages Circumscription Logic programming Atomic formula Function Monadic predicate calculus Predicate variable Logic Mathematical logic Mathematics
713	On Mutual Understanding among Communicating Agents⋆ Patrick Doherty1, Witold Łukaszewicz1,2 , and Andrzej Szałas1,2 1 Department of Computer Science, University of Link¨oping, Sweden, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:52:30 Model theory Formal languages First-order logic Predicate logic Function Constructible universe Ontology Characteristic function Golden ratio Logic Mathematics Mathematical logic
714	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
715	To appear in J. Hawthorne, ed., Philosophical Perspectives vol. on philosophy of language Everything Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:46 Mathematical logic Philosophical logic Predicate logic Theories of truth Universal quantification Empty set Truth Relativism FO Logic Quantification Philosophy
716	Computing Circumscription Revisited: A Reduction Algorithm Patrick Doherty and Witold. L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:30:59 Predicate logic Model theory Formal languages Circumscription Logic programming Well-formed formula Monadic predicate calculus Atomic formula Function Logic Mathematical logic Mathematics
717	Computing Circumscription Revisited: Preliminary Report Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:09:50 Predicate logic Model theory Quantification Formal languages Circumscription Skolem normal form Atomic formula Function Universal quantification Logic Mathematical logic Mathematics
718	‘There’s something it’s like’ and the Structure of Consciousness Benj Hellie University of Toronto For an experience to be phenomenally conscious is for there to be Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2007-05-10 10:41:08 Predicate logic Semantics Grammar Philosophy of language First-order logic Predicate Proposition Interpretation Syntax Logic Linguistics Science
719	Editors: RAFAEL HÜNTELMANN (Frankfurt) UWE MEIXNER (Regensburg) • ERWIN TEGTMEIER (Mannheim) Volume[removed]) • No. 1 Articles Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 06:37:40 Tropes Ontology Mereology Predicate logic The Unreality of Time Event Philosophy of space and time Ordinal number Infinity Philosophy of time Philosophy Metaphysics
720	Quantificational Logic and Empty Names Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2014-03-17 14:09:09 Predicate logic Logical syntax Metalogic First-order logic Modal logic Entailment Saul Kripke Well-formed formula Formal semantics Logic Mathematical logic Philosophical logic

UPDATE